Logicism and Meaning: the Case against (draft)
نویسنده
چکیده
This paper argues, contrary to the claims of other workers, that formal semantics in the sense of model theory cannot provide an adequate basis for the ascription of meanings in AI programs.
منابع مشابه
Logicism and the Development of Computer Science* Contents 1. Introduction 2. Philosophy of Mathematics in the Foundational Period 3. Logicism and Computer Science 4. How Computer Science Has Affected Logic 5. a Criticism of Logicism by Wittgenstein and Its Significance
This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been central to computer science. The paper attemp...
متن کاملInferentialism, Logicism, Harmony, and a Counterpoint
Inferentialism is explained as an attempt to provide an account of meaning that is more sensitive (than the tradition of truth-conditional theorizing deriving from Tarski and Davidson) to what is learned when one masters meanings. The logically reformist inferentialism of Dummett and Prawitz is contrasted with the more recent quietist inferentialism of Brandom. Various other issues are highligh...
متن کاملNumerical Study of a Pipe Extension Effect in Draft Tube on Hydraulic Turbine Performance
Draft tube of Francis type hydraulic turbine usually consists of: cone, elbow and diffuser. On the contrary, in some power stations an extra pipe should be added to the draft tube at the bottom of cone because of installation limitation. In this paper, this special case has been numerically studied. To this end CFD analysis was applied to simulate all parts of hydraulic turbine. A homogeneous m...
متن کاملAttitudes towards English Language Norms in the Expanding Circle: Development and Validation of a new Model and Questionnaire
This paper describes the development and validation of a new model and questionnaire to measure Iranian English as a foreign language learners’ attitudes towards the use of native versus non-native English language norms. Based on a comprehensive review of the related literature and interviews with domain experts, five factors were identified. A draft version of a questionnaire based on those f...
متن کاملCarnap, Logicism, and Ontological Commitment
In a number of works, Rudolf Carnap provided ingenious and systematic approaches to the understanding of scientific knowledge (see, for instance, Carnap 1928, 1934, 1947, 1950a, b). As is well known, his proposals faced three important changes: (i) the early phenomenalism of the Logische Aufbau der Welt (Carnap 1928) was replaced by the physicalism of Logische Syntax der Sprache (Carnap 1934); ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995